The situated potentials for action between material things in the world and the interactional processes thereby afforded need to be seen as not only constituting the possibility of agency, but thereby also comprising it. Eo ipso, agency must be de-fused from any local, "contained" subject and be understood as a situational property in which subjects and objects can both participate. Any technological artifact should thus be understood as a complex of agential capacities that function relative to any number of social (...) and material factors. Keeping in mind that we are co-constituted by webs of relations involving increasingly complex collections of artefacts, networks, niches, and communities of practice, our investigation will be guided by interrogating the functional potential of a thing that in the last fifteen years has seamlessly worked its way into the everyday life of millions of human agents. This "thing," the smartphone, is merely a nodal point in a highly complex network. Recognizing this massive "collective," we nevertheless want to show some of the ways in which something as seemingly mundane as a smartphone can reflexively alter the range of actions available to a cognitive agent (Latour 1994). Specifically, we hope to shed light on some of the social-cognitive consequences of technological mediation by looking at the complementary, if not mutually implied, domains of memory and knowledge. (shrink)

In the world according to Hume, people are complicated creatures, with convoluted, often contradictory characters. Consider, for example, Hume's controversial assessment of Charles I: "The character of this prince, as that of most men, if not of all men, was mixed .... To consider him in the most favourable light, it may be affirmed, that his dignity was free from pride, his humanity from weakness, his bravery from rashness, his temperance from austerity, his frugality from avarice .... To speak (...) the most harshly of him, we may affirm, that many of his good qualities were attended with some latent frailty, which, though seemingly inconsiderable, was able, when seconded by the extreme malevolence of his fortune, to disappoint them of all their influence: His beneficent disposition was clouded by a manner not very gracious; his virtue was tinctured with superstition; his good sense was disfigured by a deference to persons of a capacity inferior to his own; and his moderate temper exempted him not from hasty and precipitate resolutions." This sketch shows Charles in all his complexities, with his virtues, near virtues, and contradicting virtues. I have quoted it at length because it is hard to summarize without losing the subtleties that lie within it. Hume's moral theory is based fundamentally on judgments of character, 2 so those subtleties are important to his view. The character sketches that pervade the.. (shrink)

The goal of this paper is to develop a systematic taxonomy of cognitive artifacts, i.e., human-made, physical objects that functionally contribute to performing a cognitive task. First, I identify the target domain by conceptualizing the category of cognitive artifacts as a functional kind: a kind of artifact that is defined purely by its function. Next, on the basis of their informational properties, I develop a set of related subcategories in which cognitive artifacts with similar properties can be grouped. In this (...) taxonomy, I distinguish between three taxa, those of family, genus, and species. The family includes all cognitive artifacts without further specifying their informational properties. Two genera are then distinguished: representational and non-representational (or ecological) cognitive artifacts. These genera are further divided into species. In case of representational artifacts, these species are iconic, indexical, or symbolic. In case of ecological artifacts, these species are spatial or structural. Within species, token artifacts are identified. The proposed taxonomy is an important first step towards a better understanding of the range and variety of cognitive artifacts and is a helpful point of departure, both for conceptualizing how different artifacts augment or impair cognitive performance and how they transform and are integrated into our cognitive system and practices. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Human rights have made mass murder and genocide more, rather than less, likely. -/- Posted 21 December 2022. A previous version of this paper appears as chapter 3 of my Patriotic Elaborations: Essays in Practical Philosophy (Montreal and Kingston: McGill-Queen’s University Press, 2009).

A review, posted 11 September 2002, of Richard Vernon's book. A previous version was published in the Canadian Journal of Political Science 39, no. 4 (Dec. 2006): 975–76.

This paper is a critique of coercive theories of meaning, that is, theories (or criteria) of meaning designed to do down ones opponents by representing their views as meaningless or unintelligible. Many philosophers from Hobbes through Berkeley and Hume to the pragmatists, the logical positivists and (above all) Wittgenstein have devised such theories and criteria in order to discredit their opponents. I argue 1) that such theories and criteria are morally obnoxious, a) because they smack of the totalitarian linguistic tactics (...) of the Party in Orwell’s 1984 and b) because they dehumanize the opposition by portraying them as mere spouters of gibberish; 2) that they are profoundly illiberal since if true, they would undermine Mill’s arguments for free speech; 3) that such theories are prone to self-contradiction, pragmatic and otherwise; 4) that they often turn against their creators including what they were meant to exclude and excluding what they were meant to include; 5) that such theories are susceptible to a modus tollens pioneered by Richard Price in his Review Concerning the Principle Questions of Morals(1758); and 6) that such theories are prima facie false since they fail to ‘predict’ the data that is it their business to explain (or, in the case of criteria, fail to capture the concept that they allegedly represent). The butcher’s bill is quite considerable: some of Hobbes, a fair bit of Locke, half of Berkeley, large chunks of Hume, Russell's Theory of Types, verificationism in its positivist and Dummettian variants, much of pragmatism and most of Wittgenstein - all these have to be sacrificed if we are to save our souls as philosophic liberals. (shrink)

We have been accustomed at least since Kant and mainstream history of philosophy to distinguish between the ‘mechanical’ and the ‘teleological’; between a fully mechanistic, quantitative science of Nature exemplified by Newton and a teleological, qualitative approach to living beings ultimately expressed in the concept of ‘organism’ – a purposive entity, or at least an entity possessed of functions. The beauty of this distinction is that it seems to make intuitive sense and to map onto historical and conceptual constellations in (...) medicine, physiology and the related natural -philosophical discussions on the status of the body versus that of the machine. In this presentation I argue that the distinction between mechanism and teleology is imprecise and flawed, on the basis of a series of examples: the presence of ‘functional’ or ‘purposive’ features even in Cartesian physiology; work such as that of Richard Lower’s on animal respiration; the fact that the model of the ‘body-machine’ is not at all a mechanistic reduction of organismic properties to basic physical properties but on the contrary a way of emphasizing the uniqueness of organic life; and the concept of ‘animal economy’ in vitalist medical theory, which I present as a kind of ‘teleo-mechanistic’ concept of organism – neither mechanical nor teleological. (shrink)

Most models of generational succession in sexually reproducing populations necessarily move back and forth between genic and genotypic spaces. We show that transitions between and within these spaces are usually hidden by unstated assumptions about processes in these spaces. We also examine a widely endorsed claim regarding the mathematical equivalence of kin-, group-, individual-, and allelic-selection models made by Lee Dugatkin and Kern Reeve. We show that the claimed mathematical equivalence of the models does not hold. *Received January 2007; revised (...) April 2008. †To contact the authors, please write to: Elisabeth Lloyd, Department of History and Philosophy of Science, 130 Goodbody Hall, Indiana University, Bloomington, IN 47405; e-mail: [email protected]; Richard Lewontin, Department of Organismic and Evolutionary Biology, Harvard University, 26 Oxford Street, Cambridge, MA 02138; Marcus Feldman, Department of Biological Sciences, Stanford University, Stanford, CA 94305; e-mail: marc@charles.stanford.edu. (shrink)

Fourteen philosophers share their experience teaching Peirce to undergraduates in a variety of settings and a variety of courses. The latter include introductory philosophy courses as well as upper-level courses in American philosophy, philosophy of religion, logic, philosophy of science, medieval philosophy, semiotics, metaphysics, etc., and even an upper-level course devoted entirely to Peirce. The project originates in a session devoted to teaching Peirce held at the 2007 annual meeting of the Society for the Advancement of American Philosophy. The session, (...) organized by James Campbell and Richard Hart, was co-sponsored by the American Association of Philosophy Teachers. (shrink)

Thirty years ago Richard Rorty detected the similarities between Wittgenstein's Philosophical Investigations (1953) and the philosophical framework of Charles S. Peirce (1839-1914), the founder of pragmatism. Rorty tried to show that Peirce envisaged and repudiated in advance logical positivism and developed insights and a philosophical mood very close to the analytical philosophers influenced by the later Wittgenstein (Rorty 1961). In spite of that, the majority of scholars have considered both thinkers as totally alien. Some scholars have attributed the (...) pragmatist flavor of the Philosophical Investigations to the influence of Frank P. Ramsey, who awoke Wittgenstein from the dogmatic slumber of the Tractatus. Nevertheless, the real scope of the influence of American pragmatist philosophy in Wittgenstein's later thought is not clearly known. The purpose of my paper is not to describe the common themes between Wittgenstein and Peirce, but the way in which recent scholarship has established some links between both philosophers. -/- . (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

In Part 1, I contend (using Coriolanus as my mouthpiece) that Keeley and Clarke have failed to show that there is anything intellectually suspect about conspiracy theories per se. Conspiracy theorists need not commit the ‘fundamental attribution error’ there is no reason to suppose that all or most conspiracy theories constitute the cores of degenerating research programs, nor does situationism - a dubious doctrine in itself - lend any support to a systematic skepticism about conspiracy theories. In Part 2. I (...) argue (in propria persona) that the idea that there is something suspect about conspiracy theories is one of the most dangerous and idiotic superstitions to disgrace our political culture. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

In this article, network science is discussed from a methodological perspective, and two central theses are defended. The first is that network science exploits the very properties that make a system complex. Rather than using idealization techniques to strip those properties away, as is standard practice in other areas of science, network science brings them to the fore, and uses them to furnish new forms of explanation. The second thesis is that network representations are particularly helpful in explaining the properties (...) of non-decomposable systems. Where part-whole decomposition is not possible, network science provides a much-needed alternative method of compressing information about the behavior of complex systems, and does so without succumbing to problems associated with combinatorial explosion. The article concludes with a comparison between the uses of network representation analyzed in the main discussion, and an entirely distinct use of network representation that has recently been discussed in connection with mechanistic modeling. (shrink)

Hume seems to contend that you can’t get an ought from an is. Searle professed to prove otherwise, deriving a conclusion about obligations from a premise about promises. Since (as Schurz and I have shown) you can’t derive a substantive ought from an is by logic alone, Searle is best construed as claiming that there are analytic bridge principles linking premises about promises to conclusions about obligations. But we can no more derive a moral obligation to pay up from the (...) fact that a promise has been made than we can derive a duty to fight a duel from the fact that a challenge has been issued – just conclusions about what we ought to do according to the rules of the relevant games. Hume suggests bridge principles that would take us from the rules of the games to conclusions about duties, but these principles are false. My argument features an obstreperous earl, an anarchist philosopher and a dueling Prime Minister. (shrink)

After a brief introduction and orientation (section I), this dialogue between Levinasian and Beckerian thought is approached along the lines of two major themes concerning consciousness which emerge in very different contexts and registers in their work (sections II and III), and one tantalizing question that is raised with great force by the dialogue (section IV). The two themes revolve around the subtle dialectical interplay that runs throughout the thought of both Levinas and Becker – the switching between internality and (...) externality, non-rational and rational; otherness and sameness; life and death – an interplay that is summed up in the dialectic between non-reflexive and reflexive consciousness. The Beckerian and Levinasian notions of the non-reflexive consciousness (section II) relate to their respective and in many ways convergent claims about a non-rational primal human state characterized by global vulnerability, awe and guilt, especially before the face of the other. Their analyses of reflexive consciousness (section III) relate to their interpretations of the problematic ideal of the free, self-constituting and self-mastering individual, and the impetus located therein towards the repression of what is Other to the self. Finally (section IV), the question is raised as to whether (and to what extent), following Levinas, sources of compelling ethical value might be legitimately understood as emerging out of Becker’s conception of primordial human vulnerability. (shrink)

In this paper I shall explain how I came to realize that for as long as I believed that there exists an epistemic gap, or veil of perception, separating the world into that which is subjective and internal to the mind from that which is objective and external to the mind, I was unable to provide a compelling argument for the existence of this same Epistemic Gap ontology.

Parfit's On What Matters offers a rousing defence of non-naturalist normative realism against pressing metaphysical and epistemological objections. He addresses skeptical arguments based on (i) the causal origins of our normative beliefs, and (ii) the appearance of pervasive moral disagreement. In both cases, he concedes the first step to the skeptic, but draws a subsequent distinction with which he hopes to stem the skeptic's advance. I argue, however, that these distinctions cannot bear the weight that Parfit places on them. A (...) successful moral epistemology must take a harder line with the skeptic, insisting that moral knowledge can be had by those with the right kind of psychology -- no matter the evolutionary origin of the psychology, nor whether we can demonstrate its reliability over the alternatives. (shrink)

Are non-natural properties worth caring about? I consider two objections to metaethical non-naturalism. According to the intelligibility objection, it would be positively unintelligible to care about non-natural properties that float free from the causal fabric of the cosmos. According to the ethical idlers objection, there is no compelling motivation to posit non-natural normative properties because the natural properties suffice to provide us with reasons. In both cases, I argue, the objection stems from misunderstanding the role that non-natural properties play in (...) the non-naturalist's understanding of normativity. The role of non-natural properties is not to be responded to, but to "mark" which natural properties it is correct for us to respond to in certain ways. (shrink)

In this paper I examine the dispute between Hakwan Lau, Ned Block, and David Rosenthal over the extent to which empirical results can help us decide between first-order and higher-order theories of consciousness. What emerges from this is an overall argument to the best explanation against the first-order view of consciousness and the dispelling of the mythological notion of phenomenological overflow that comes with it.

Satisficing Consequentialism is often rejected as hopeless. Perhaps its greatest problem is that it risks condoning the gratuitous prevention of goodness above the baseline of what qualifies as "good enough". I propose a radical new willpower-based version of the view that avoids this problem, and that better fits with the motivation of avoiding an excessively demanding conception of morality. I further demonstrate how, by drawing on the resources of an independent theory of blameworthiness, we may obtain a principled specification of (...) what counts as "good enough". (shrink)

In this paper I argue that a priori arguments fail to present any real problem for physicalism. They beg the question against physicalism in the sense that the argument will only seem compelling if one is already assuming that qualitative properties are nonphysical. To show this I will present the reverse-zombie and reverse-knowledge arguments. The only evidence against physicalism is a priori arguments, but there are also a priori arguments against dualism of exactly the same variety. Each of these parity (...) arguments has premises that are just as intuitively plausible, and it cannot be the case that both the traditional scenarios and the reverse-scenarios are all ideally conceivable. Given this one set must be merely prima facie conceivable and only empirical methods will tell us which is which. So, by the time a priori methodology will be of any use it will be too late. (shrink)

Nous proposons une étude de la constitution du sens dans l'interaction humain-machine à partir des définitions que donnent Turing et Wittgenstein à propos de la pensée, la compréhension, et de la décision. Nous voulons montrer par l'analyse comparative des proximités et différences conceptuelles entre les deux auteurs que le sens commun entre humains et machines se co-constitue dans et à partir de l'action, et que c'est précisément dans cette co-constitution que réside la valeur sociale de leur interaction. Il s'agira pour (...) cela de problématiser l'interaction humain-machine autour de la question de ce que signifie « suivre une règle » pour définir et distinguer les modes interprétatifs et les comportements décisionnels de chacun. Nous en viendrons alors au constat que la mutualisation des signes qui s'opère à travers le dialogue humain-machine est au fondement de la constitution d'une société informatisée. (shrink)

Antisemitism is fun. This essay explains why and proposes a new approach to combating it.

This paper describes one style of functional analysis commonly used in the neurosciences called task-bound functional analysis. The concept of function invoked by this style of analysis is distinctive in virtue of the dependence relations it bears to transient environmental properties. It is argued that task-bound functional analysis cannot explain the presence of structural properties in nervous systems. An alternative concept of neural function is introduced that draws on the theoretical neuroscience literature, and an argument is given to show that (...) this alternative concept of may help to overcome the explanatory limitations of task-bound functional analysis. (shrink)

Philosophers of science turned to historical case studies in part in response to Thomas Kuhn's insistence that such studies can transform the philosophy of science. In this issue Joseph Pitt argues that the power of case studies to instruct us about scientific methodology and epistemology depends on prior philosophical commitments, without which case studies are not philosophically useful. Here I reply to Pitt, demonstrating that case studies, properly deployed, illustrate styles of scientific work and modes of argumentation that are not (...) well handled by currently standard philosophical analyses. I illustrate these claims with exemplary findings from case studies dealing with exploratory experimentation and with interdisciplinary cooperation across sciences to yield multiple independent means of access to theoretical entities. The latter cases provide examples of ways that scientists support claims about theoretical entities that are not available in work performed within a single discipline. They also illustrate means of correcting systematic biases that stem from the commitments of each discipline taken separately. These findings illustrate the transformative power of case study methods, allow us to escape from the horns of Pitt's "dilemma of case studies," and vindicate some of the post-Kuhn uses to which case studies have been put. (shrink)

The present paper argues that the Venezuelan-Chilean philosopher Andrés Bello constitutes an important but heretofore neglected prefiguration of Richard Rorty. I argue for this thesis by articulating first an Inter-American philosophical narrative (based on previous work by Alex Stehn and Carlos Sanchez) that enables me to highlight certain common characteristics in philosophical projects that flourished across the Americas. Having done this, I show that Rorty’s anti-representationalism and anti-foundationalism are prefigured in Bello’s most important philosophical treatise, Filosofía del Entendimiento, to (...) the extent that Bello recognizes the problems posed by the ocular metaphors that are systematically used by Early modern philosophers such as Descartes or Locke, and suggests their elimination and replacement by other metaphors. Finally, I conclude that, if my arguments are correct, the intellectual geography of neo-pragmatism needs to be expanded beyond traditional geographies such as Europe and the US. (shrink)

An account of the three rival conceptions of Western philosophy: "theoretical," "difference," and "practical." -/- Posted 29 January 2023. Note that a previous version of this paper appears as chapter 13 of my Patriotic Elaborations: Essays in Practical Philosophy (Montreal and Kingston: McGill-Queen’s University Press, 2009).

The ninth and tenth chapters of the Origin mark a profound, if perhaps difficult to detect, shift in the book’s argumentative structure. In the previous few chapters and in the ninth, Darwin has been exploring a variety of objections to natural selection, some more obvious (where are all the fossils of transitional forms?) and some showing careful attention to challenging consequences of evolution (could selection really produce instincts?). Starting in the tenth, however, Darwin turns to showing us what kinds of (...) new and unexpected results evolutionary theory might be able to offer us, again in domains both predictable (extinction) and unexpected (biogeography, embryology). It is notable that it is the fossil record that serves as this pivot point, being both a source of potentially powerful objections to evolutionary theory and home to some of its most compelling new explanations. In this chapter, I present both sets of arguments and consider what role Darwin gave to fossil evidence, in the process attempting to discover why it might have played this unique role in two different parts of Darwin’s “long argument” for evolution by natural selection. Geology’s special place, I argue, derives at least in part from its particular importance in Darwin’s social and intellectual context. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Critics have often misunderstood the higher-order theory (HOT) of consciousness. Here we clarify its position on several issues, and distinguish it from other views such as the global The higher-order theory (HOT) of consciousness has often been misunderstood by critics. Here we clarify its position on several issues, and distinguish it from other views such as the global workspace theory (GWT) and early sensory models (e.g. first-order local recurrency theories). For example, HOT has been criticized for over-intellectualizing consciousness. We show (...) that while higher-order states are cognitively assembled, the requirements are actually considerably less than often presumed. In this sense HOT may be viewed as an intermediate position between GWT and early sensory views. Also, we clarify that most proponents of HOT do not stipulate consciousness as equivalent to metacognition or confidence. Further, compared to other existing theories, HOT can arguably account better for complex everyday experiences, such as of emotions and episodic memories. This makes HOT particularly useful as a framework for conceptualizing pathological mental states. (shrink)

Some of the most important developments of symbolic logic took place in the 1920s. Foremost among them are the distinction between syntax and semantics and the formulation of questions of completeness and decidability of logical systems. David Hilbert and his students played a very important part in these developments. Their contributions can be traced to unpublished lecture notes and other manuscripts by Hilbert and Bernays dating to the period 1917-1923. The aim of this paper is to describe these results, focussing (...) primarily on propositional logic, and to put them in their historical context. It is argued that truth-value semantics, syntactic ("Post-") and semantic completeness, decidability, and other results were first obtained by Hilbert and Bernays in 1918, and that Bernays's role in their discovery and the subsequent development of mathematical logic is much greater than has so far been acknowledged. (shrink)

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

In Mind and World, John McDowell argues against the view that perceptual representation is non-conceptual. The central worry is that this view cannot offer any reasonable account of how perception bears rationally upon belief. I argue that this worry, though sensible, can be met, if we are clear that perceptual representation is, though non-conceptual, still in some sense 'assertoric': Perception, like belief, represents things as being thus and so.

This paper draws on the 'Fitting Attitudes' analysis of value to argue that we should take the concept of fittingness (rather than value) as our normative primitive. I will argue that the fittingness framework enhances the clarity and expressive power of our normative theorising. Along the way, we will see how the fittingness framework illuminates our understanding of various moral theories, and why it casts doubt on the Global Consequentialist idea that acts and (say) eye colours are normatively on a (...) par. We will see why even consequentialists, in taking rightness to be in some sense determined by goodness, should not think that rightness is conceptually reducible to goodness. Finally, I will use the fittingness framework to explicate the distinction between consequentialist and deontological theories, with particular attention to the contentious case of Rule Consequentialism. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

There is a need to rapidly assess the impact of new technology initiatives on the Counter Improvised Explosive Device battle in Iraq and Afghanistan. The immediate challenge is the need for rapid decisions, and a lack of engineering test data to support the assessment. The rapid assessment methodology exploits available information to build a probabilistic model that provides an explicit executable representation of the initiative’s likely impact. The model is used to provide a consistent, explicit, explanation to decision makers on (...) the likely impact of the initiative. Sensitivity analysis on the model provides analytic information to support development of informative test plans. (shrink)

Will brain imaging technology soon enable neuroscientists to read minds? We cannot answer this question without some understanding of the state of the art in neuroimaging. But neither can we answer this question without some understanding of the concept invoked by the term "mind reading." This article is an attempt to develop such understanding. Our analysis proceeds in two stages. In the first stage, we provide a categorical explication of mind reading. The categorical explication articulates empirical conditions that must be (...) satisfied if mind reading is to be achieved. In the second stage, we develop a metric for judging the proficiency of mind reading experiments. The conception of mind reading that emerges helps to reconcile folk psychological judgments about what mind reading must involve with the constraints imposed by empirical strategies for achieving it. (shrink)

Substantially increased wealth inequality across the developed world has prompted many philosophers, economists and legal theorists to support comprehensive taxes on all forms of wealth. Proposals include levying taxes on the basis of total wealth, or alternatively the change in the value of capital holdings measured from year-to-year. This contrasts with most existing policies that tax capital assets at the point they are transferred from one beneficiary to another through sale or gifts. Are these tax reforms likely to meet their (...) aims of greater economic and political equality? We argue that these policies are likely to fail because, following neoclassical economic theory, they are based on a conception of capital as possessing given values in what amounts to a static equilibrium. This mischaracterizes the dynamic and subjective character of market economies and the contested value of real instantiations of capital goods. This makes them very difficult, often impossible, to value apart from at the point of voluntary transfer or profit realization. This means most taxes levied on a mark-to-market basis will be arbitrary and unfair. We propose alternative policies based on an income realization approach to taxation that are more likely to curb excessive wealth holdings. This includes introducing international treaties that prohibit preferential tax treatment for individual companies and specific sectors, and broadening the income tax base to include the imputed rent of personal housing wealth. (shrink)

We provide a philosophical reconstruction and analysis of the debate on the scientific status of cosmic inflation that has played out in recent years. In a series of critical papers, Ijjas et al. have questioned the scientificality of the current views on cosmic inflation. Proponents of cosmic inflation have in turn defended the scientific credentials of their approach. We argue that, while this defense, narrowly construed, is successful against Ijjas et al., the latter's reasoning does point to a significant epistemic (...) issue that arises with respect to inflation. A broadening of the concept of theory assessment is needed to address that issue in an adequate way. (shrink)

According to the Asymmetry, we’ve strong moral reason to prevent miserable lives from coming into existence, but no moral reason to bring happy lives into existence. This procreative asymmetry is often thought to be part of commonsense morality, however theoretically puzzling it might prove to be. I argue that this is a mistake. The Asymmetry is merely prima facie intuitive, and loses its appeal on further reflection. Mature commonsense morality recognizes no fundamental procreative asymmetry. It may recognize some superficially similar (...) theses, but we will see that they derive from more familiar principles, and are compatible with there being moral reason to bring happy lives into existence. (shrink)

Right- and wrong-making features ("moral grounds") are widely believed to play important normative roles, e.g. in morally apt or virtuous motivation. This paper argues that moral grounds have been systematically misidentified. Canonical statements of our moral theories tend to summarize, rather than directly state, the full range of moral grounds posited by the theory. Further work is required to "unpack" a theory's criterion of rightness and identify the features that are of ground-level moral significance. As a result, it is not (...) actually true that maximizing value is the relevant right-making feature even for maximizing consequentialists. Focusing on the simple example of utilitarianism, I show how careful attention to the ground level can drastically influence how we think about our moral theories. (shrink)